Four ships 'sabotaged' in the Gulf of Oman amid tensions